Vector logic - PDFSEARCH.IO - Document Search Engine

Vector logic
Results: 92

#	Item
11	J´erˆome Leroux Least Significant Digit First Presburger Automata DRAFT. Please do not distribute, but contact the author for a version Add to Reading List Source URL: www.labri.fr Language: English - Date: 2014-03-17 06:03:51 Mathematics Algebra Mathematical logic Logic in computer science Model theory Proof theory Presburger arithmetic Time complexity Generalized arithmetic progression Polynomial Vector space Lattice
12	Using Routers to Build Logic Circuits: How Powerful is BGP? Marco Chiesa? Luca Cittadini? ? Add to Reading List Source URL: www.vanbever.eu Language: English - Date: 2013-08-22 11:30:09 Computing Network architecture Internet Routing Computer networking Internet Standards Internet protocols Border Gateway Protocol Route reflector Router Control plane Distance-vector routing protocol
13	Using Routers to Build Logic Circuits: How Powerful is BGP? Marco Chiesa? Luca Cittadini? ? Add to Reading List Source URL: vanbever.eu Language: English - Date: 2013-08-22 11:30:09 Computing Network architecture Internet Routing Computer networking Internet Standards Internet protocols Border Gateway Protocol Route reflector Router Control plane Distance-vector routing protocol
14	Synthesis for Unbounded Bit-vector Arithmetic Andrej Spielmann and Viktor Kuncak School of Computer and Communication Sciences (I&C) ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-04-24 05:03:43 Digital electronics Logic Models of computation Elementary mathematics Logical syntax Finite state transducer Flip-flop Function FO Mathematics Theoretical computer science Automata theory
15	Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Notes on o-Minimality and Variations DUGALD MACPHERSON Add to Reading List Source URL: library.msri.org Language: English - Date: 2001-06-12 16:44:11 Algebra O-minimal theory Strongly minimal theory Definable set Morley rank Uniform space Vector space Structure Imaginary element Model theory Mathematics Mathematical logic
16	Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-10-18 12:19:38 Operations research Linear algebra Axiom Algorithm Function Euclidean geometry Logic programming Mathematical optimization Vector space Mathematics Algebra Mathematical logic
17	Test functions, distributions, and Sobolev’s lemma Jordan Bell Department of Mathematics, University of Toronto May 22, 2014 Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-05-22 16:16:17 Mathematical analysis Mathematics Spectral theory of ordinary differential equations Linear temporal logic Constructible universe Locally convex topological vector space Operator theory
18	The Legendre transform Jordan Bell Department of Mathematics, University of Toronto April 25, 2014 Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-04-25 15:26:47 Locally convex topological vector space Calculus of variations Fourier transform Legendre transformation Partial differential equation Constructible universe Spectral theory of ordinary differential equations Linear temporal logic Mathematical analysis Mathematics Fourier analysis
19	surfaces of revolution E. L. Lady Start with a curve given parametriclly in the xz -plane, viz. β(v) = (x(v), 0, z(v)) = (ϕ(v), 0, ψ(v)). Revolving this curve around the z -axis yields a surface which we can describe Add to Reading List Source URL: www.math.hawaii.edu Language: English - Date: 2001-04-07 05:48:38 Differential geometry of surfaces Curvature Group theory Linear algebra Vector space Darboux frame Linear temporal logic Algebra Mathematics Differential geometry
20	Semantic image analysis using a symbolic neural architecture Add to Reading List Source URL: www.islab.ntua.gr Language: English - Date: 2014-01-05 10:23:57 Mathematical logic Fuzzy logic Non-classical logic Computational neuroscience Learning Neuro-fuzzy Support vector machine Fuzzy concept Segmentation Logic Science Artificial intelligence